why we should colonize oceans instead of mars